Computer arithmetic - PDFSEARCH.IO - Document Search Engine

Computer arithmetic
Results: 1849

#	Item
51	Floating-Point Precision Tuning Using Blame Analysis Cuong Nguyen1 , Cindy Rubio-Gonz´alez1 , Benjamin Mehne1 , Koushik Sen1 , James Demmel1 , William Kahan1 , Costin Iancu2 , Wim Lavrijsen2 , David H. Bailey2 , and Dav Add to Reading List Source URL: crd.lbl.gov Language: English - Date: 2015-04-20 03:24:44 Computer arithmetic Computing Mathematics Theoretical computer science Extended precision IEEE floating point Iterative refinement Long double Significant figures Speedup Double-precision floating-point format
52	Bonus slides §  These are extra slides that used to be included in lecture notes, but have been moved to this, the “bonus” area to serve as a supplement. Add to Reading List Source URL: www-inst.eecs.berkeley.edu Language: English - Date: 2014-02-04 15:27:49 Logical connectives Binary arithmetic Mathematics Computer architecture Boolean algebra Semantics Logic Central processing unit Logical shift Logical conjunction Bitwise operation Logical disjunction
53	BIT 39(3), pp. 539–560, 1999 FAST AND PARALLEL INTERVAL ARITHMETIC SIEGFRIED M. RUMP Inst. of Computer Science III, Technical University Hamburg-Harburg, Eißendorfer Str. 38, 21071 Hamburg, Germany. Add to Reading List Source URL: www.ti3.tu-harburg.de Language: English - Date: 2005-11-23 09:26:23 Mathematics Computer arithmetic Mathematical logic Theory of computation Numerical analysis Arithmetic Interval arithmetic Interval Constructible universe Ordinal number NC Machine epsilon
54	Static Analysis of the Accuracy and Robustness of Finite Precision Implementations Fluctuat Eric Goubault and Sylvie Putot Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2013-11-20 04:18:58 Mathematics Affine geometry Numerical analysis Software Theoretical computer science Abstract interpretation Fluctuat Affine arithmetic Affine space Integral Rounding Matrix
55	ETH Zurich, Department of Computer Science FS 2015 Prof. Dr. Ueli Maurer Dr. Martin Hirt Sandro Coretti Add to Reading List Source URL: www.crypto.ethz.ch Language: English - Date: 2015-02-25 05:09:48 Cryptography Modular arithmetic Zero-knowledge proof Quadratic residue RSA FeigeFiatShamir identification scheme IP Public-key cryptography
56	Verified Integration of ODEs with Taylor Models Markus Neher Karlsruhe Institute of Technology Institute for Applied and Numerical Mathematics Kaiserstr Add to Reading List Source URL: conf.nsc.ru Language: English - Date: 2012-04-29 06:38:11 Mathematics Mathematical analysis Numerical analysis Arithmetic Computer arithmetic Interval arithmetic Integral Interval Polynomial
57	5e Rencontres Arithmétique de l’Informatique Mathématique (RAIMDijon, 20-22 juin 2012 Synthesis of fixed-point programs based on instruction selection ... the case of polynomial evaluation Add to Reading List Source URL: raim2012.u-bourgogne.fr Language: English - Date: 2012-07-16 09:26:12 Computing Computer architecture Central processing unit Computer hardware Computer arithmetic Microprocessors Floating point Floating-point unit Fixed-point arithmetic Embedded system
58	The modpn Library: Bringing Fast Polynomial Arithmetic into Maple Xin Li Marc Moreno Maza Raqeeb Rasheed Add to Reading List Source URL: www.csd.uwo.ca Language: English - Date: 2010-08-24 13:00:16 Mathematics Algebra Polynomials Computer algebra Equations Resultant RegularChains System of polynomial equations Euclidean algorithm Polynomial Primitive part and content Regular chain
59	Introduction to Smalltalk - Chapter 5 - Numbers  Ivan TomekChapter 5 - Numbers Overview VisualWorks library contains many classes representing numbers of various kinds, mainly because Add to Reading List Source URL: sdmeta.gforge.inria.fr Language: English - Date: 2014-10-09 10:38:17 Mathematics Computer arithmetic Smalltalk Number Single-precision floating-point format Primitive data type Continued fraction Q Arbitrary-precision arithmetic Floating point Fixed-point arithmetic Real number
60	Generating a Minimal Interval Arithmetic Based on GNU MPFR (in the context of the search for hard-to-round cases) Vincent LEFÈVRE Arénaire, INRIA Grenoble – Rhône-Alpes / LIP, ENS-Lyon Add to Reading List Source URL: www.vinc17.org Language: English - Date: 2015-06-18 06:12:50 Computer arithmetic Software Computing Mathematics GNU MPFR Rounding Interval arithmetic GNU Multiple Precision Arithmetic Library Maple Fixed-point arithmetic IEEE floating point TeX